John Mitchell - PDFSEARCH.IO - Document Search Engine

John Mitchell
Results: 387

#	Item
61	Secrecy Analysis in Protocol Composition Logic Arnab ROY a , Anupam DATTA b , Ante DEREK c , John C. MITCHELL a , and Jean-Pierre SEIFERT d a Stanford University, USA Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:16
62	A Large-Scale Study of Mobile Web App Security Patrick Mutchler∗ , Adam Doup´e† , John Mitchell∗ , Chris Kruegel‡ and Giovanni Vigna‡ ∗ Stanford University {pcm2d, mitchell}@stanford.edu Add to Reading List Source URL: adamdoupe.com Language: English - Date: 2016-02-19 18:03:47
63	Hails: Protecting Data Privacy in Untrusted Web Applications Daniel B. Giffin, Amit Levy, Deian Stefan David Terei, David Mazi`eres, John C. Mitchell Stanford Abstract Add to Reading List Source URL: www.scs.stanford.edu - Date: 2014-12-02 06:10:52
64	Requirements for a Common Prototyping System Chairman: Robert Balzer Editor: Richard P. Gabriel Common Prototyping Working Group: Frank Belz, Robert Dewar, David Fisher, John Guttag, Paul Hudak, Mitchell Wand. Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:57:53
65	Abstract Types Have Existential Type JOHN C. MITCHELL Stanford University AND GORDON D. PLOTKIN Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-04-23 19:16:41
66	Towards a Formal Foundation of Web Security Devdatta Akhawe∗ , Adam Barth∗ , Peifung E. Lam† , John Mitchell† and Dawn Song∗ ∗ University of California, Berkeley {devdatta,abarth,dawnsong}@cs.berkeley.edu † Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-08-09 17:44:30
67	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo Stanford University, Chalmers University Add to Reading List Source URL: stefanheule.com Language: English - Date: 2015-04-19 12:04:49
68	Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2009-05-23 00:29:32
69	OUP CORRECTED PROOF – FINAL, , SPi Chapter 1 Turning Wealth into Lifetime Income: The Challenge Ahead Olivia S. Mitchell and John Piggott Add to Reading List Source URL: fdslive.oup.com Language: English - Date: 2014-01-09 06:15:44
70	Disjunction Category Labels Deian Stefan, Alejandro Russo, David Mazières, John Mitchell NordSec 2011 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-12-02 06:10:52